A Mobile Computing Architecture for Numerical Simulation

The domain of numerical simulation is a place where the parallelization of numerical code is common. The definition of a numerical context means the configuration of resources such as memory, processor load and communication graph, with an evolving feature: the resources availability. A feature is often missing: the adaptability. It is not predictable and the adaptable aspect is essential. Without calling into question these implementations of these codes, we create an adaptive use of these implementations. Because the execution has to be driven by the availability of main resources, the components of a numeric computation have to react when their context changes. This paper offers a new architecture, a mobile computing architecture, based on mobile agents and JavaSpace. At the end of this paper, we apply our architecture to several case studies and obtain our first results

Pragmatic Approach for Business Process Migration

With the increasing growth in popularity of software architecture middleware, scalability and availability of a software application in a Service Oriented Architecture becomes a significant challenge .We have developed a strategy to dynamically manage business processes. We target the separation of the two concerns, on one side architectural features, on the other side business features. Our strategy provides an approach to design business process using our "mobile process migration" template. We ensure the availability of process definition when the administrators of the service bus need to reconfigure sites where the business processes are placed. This evolution has to be done during execution. We also ensure the scalability and the autonomy of the business process. This means a process which is able to move from one site to another one unless the business process engine is installed. The business process can become mobile between two service busses and we improve the availability of business processes

Formal Treatment of Data Structures in Concurrency Models

The problem of real size system modelling with basic concurrency models like transition systems, Petri nets or process algebra is that there is no possibility to model easily the system data structures. Algebraic specification is a method well adapted to this last aspect and has been chosen to be mixed with the two major concurrency models which are process algebra and Petri nets. We present in this paper how the 'mixing' is done and what are the consequences concerning concurrency through the case of Lotos and Algebraic nets. Our approach is built on a simple case study which is given in several versions with both formalisms. The first one uses the basic models without algebraic specifications to highlight the data structures modelling problem. The second one is used to present how algebraic specifications are integrated in each concurrency model and the last one focuses on the concurrency aspects. Several propositions are then given in order to enhance the mixing of algebraic specifications and Petri nets or process algebra. Keywords : Petri net, process algebra, data types, algebraic specification, algebraic net, Lotos

Space based architecture for numerical solving

Numerical simulation using computers or computational simulation has become a very important approach for solving complex practical problems in engineering and science. Numerical simulation translates important aspects of a physical problem into a discrete form of mathematical description, recreates and solves the problem on a computer and reveals phenomena virtually according to the requirements of the analysts. Rather than adopting the traditional theoretical practice of constructing layers of assumptions and approximations, numerical approach attacks the original problems in all detail without making too many assumptions. This is an alternative tool for engineers but numerical techniques are not enough in a case where the computing environment is heterogeneous and unreliable. Mobile agent is a software technology which allows engineer to add new properties to a numerical computing. Mobile agent means a piece of code which can move from one node of the network to another one. This code is a part of a more complex computing aphal-00378342

Adaptive runtime for numerical code

International audienceA strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini Numerical algorithms are already designed in many domains such that electromagnetism, fluid theory. Numerical codes were developed from these mathematical analyses with interesting performance. Our work is about our runtime platform to execute existing numerical codes by the use of mobile agents. They act as workers which manage parts of a numerical code on a set of computers

Model checking applied to mobile agent system

National audienceThe subject of this contribution is about use of formal specification in order to prove business properties of a mobile agent system. First, we can be described this kind of system by the use of process algebra, in particular the π-calculus language. Then, from such formal specification, we can generate semi automatically automata using an XML transformation. Finally, we compute acceptance graph to validate a formal property. This validation is assisted by the use of a tool such Uppaal from Aalborg university